📐 Type Theory - hello · Scour

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·8h

🔬Static Analysis

GNU C Language Manual

gnu.org·1h

🔨Compiler Design

Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types

arxiv.org·2d

👻Phantom Types

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

👻Phantom Types

abelianization of an additive category in nLab

ncatlab.org·4h

∘Category Theory

Alexis King’s Blog

lexi-lambda.github.io·2d

🔬Static Analysis

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·2h·

Discuss: r/cpp

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·4h·

Discuss: Hacker News

🪢Rope Data Structure

Rust async combinators for elegant and secure concurrency

kerkour.com·14h·

Discuss: r/rust

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·8h

🦀Rust Macros

A Deep Dive into TypeScript Type Assertions: From Basics to Advanced Patterns

typescriptworld.com·2d·

Discuss: DEV

Subterms Modulo Theories I

philipzucker.com·2d

🔍Type Inference

Type-Safe Routing Without the Build Step

werkbank.dev·2h·

Discuss: Hacker News

Calculus Made Easy

calculusmadeeasy.org·5h

λFunctional Programming

Graph-based refactor analysis for Go projects , Arbor v1.4

reddit.com·11h·

Discuss: r/golang

jetify-com/typeid: Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs

github.com·1d

Unification of Deterministic Higher-Order Patterns

arxiv.org·15h

λFunctional Programming

Rust vs C++: A Comparison

dev.to·13h·

Discuss: DEV

Get To Grips With Transformers And LLMs

i-programmer.info·1d·

Discuss: Hacker News, r/programming

💬Prompt Engineering

The Parable of the Languages (2002)

web.archive.org·1d·

Discuss: Lobsters

🔨Compiler Design

Loading more...